We extend results of Harizanov and Barker. For a relation R on a recursive structure /oA, we give conditions guaranteeing that the image of R in a recursive copy of /oA can be made to have arbitrary ∑α0 degree over Δα0. We give stronger conditions under which the image of R can be made ∑α0 degree as well. The degrees over Δα0 can be replaced by certain more general classes. We also generalize the Friedberg-Muchnik Theorem, giving conditions on a pair (...) of relations R and S under which the images of R and S can be made ∑α0 and independent over Δα0 in a recursive copy of /oA. (shrink)

Companies do have ethical responsibility and are not protected by limited liability from the consequences of their actions. A company's record and the preception of its ethics affect its reputation and ensure long term success or failure.The financial community has a history of placing moral considerations above legal or opportunistic expedients. But we are often exposed to moral dangers and the dangers of contamination are increasing. Deregulation and the technological revolution are sharpening ethical conflicts.

In this paper I would like to explore Sellars' answers to these general epistemological questions in order to get clear about the sense in which he can be said to be in the empiricist tradition broadly construed and to ascertain what resources he has available to demarcate science from other (rationally acceptable or unacceptable) forms of inquiry. My contention will be that to the degree that one moves away from the notion of basic empirical proposition in the strong sense it (...) becomes increasingly difficult to draw the distinction between empiricism and other general epistemological traditions and increasingly difficult to distinguish science frow other forms of inquiry. Moreover, this latter difficulty tends to render vacuous the claims of scientific realism. (shrink)

In this paper a semantics for dynamic predicate logic is developed that uses sequence valued assignments. This semantics is compared with the usual relational semantics for dynamic predicate logic: it is shown that the most important intuitions of the usual semantics are preserved. Then it is shown that the refined semantics reflects out intuitions about information growth. Some other issues in dynamic semantics are formulated and discussed in terms of the new sequence semantics.